COMPUTING SCIENCE A Comparison of Formalisms for Modelling and Analysis of Dynamic Reconfiguration of Dependable Systems

This paper uses a case study to evaluate three formalisms of different kinds for their suitability for the modelling and analysis of dynamic reconfiguration of dependable systems. The reconfiguration of an office workflow for order processing is described. The requirements on the workflow's reconfiguration and general reconfiguration requirements are defined. The workflow is modelled using the Vienna Development Method (VDM), conditional partial order graphs (CPOGs), and the basic Calculus of Communicating Systems for dynamic process reconfiguration (basic CCSdp), and verification of the requirements is attempted using the models. The formalisms are evaluated according to their ability to model the reconfiguration, to verify the workflow's reconfiguration requirements, and to meet the general reconfiguration requirements. © 2015 Newcastle University. Printed and published by Newcastle University, Computing Science, Claremont Tower, Claremont Road, Newcastle upon Tyne, NE1 7RU, England. Bibliographical details BHATTACHARYYA, A; MOKHOV, A; PIERCE, K; A Comparison of Formalisms for Modelling and Analysis of Dynamic Reconfiguration of Dependable Systems [By] A. Bhattacharyya, A. Mokhov, K. Pierce Newcastle upon Tyne: Newcastle University: Computing Science, 2015. (Newcastle University, Computing Science, Technical Report Series, No. CS-TR-1462)